Poetry and Secrecy

Secrecy logic: S -secrecy structures

Let S = 〈L, S〉 be a deductive system. An S -secrecy logic is a quadruple K = 〈FmL(V ),K,B, S〉 , where FmL(V ) is the algebra of L-formulas, K,B are S -theories, with B ⊆ K and S ⊆ K such that S ∩ B = ∅ . K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of s...

Pottery, Poetry, and Prophecy: An Essay on Biblical Poetry

OETRY is not only central in the title, but for the study of the Hebrew Bible. There is no intention here of disvaluing the prose of the Bible, which constitutes the first major literary composition in that medium ever produced, so far as I am aware, whether we speak of the so-called Court History and the J source of the Pentateuch of the 10th century B.C., or the composite whole which we may c...

On Poetry and Mind

Poetry and Neuroscience:

Dialogues and collaborations between scientists and nonscientists are now widely understood as important elements of scientific research and public engagement with science. In recognition of this, the authors, a neuroscientist and a poet, use a dialogical approach to extend questions and ideas first shared during a lab-based poetry residency. They recorded a conversation and then expanded it in...

Secrecy-Preserving Reasoning using Secrecy Envelopes

Inmany applications of networked information systems, the need to share information often has to be balanced against the need to protect secret information from unintended disclosure, e.g., due to copyright, privacy, security, or commercial considerations. We study the problem of secrecy-preserving reasoning, that is, answering queries using secret information, whenever it is possible to do so,...